Paul Franchi-Zannettacci: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Attribute grammars and recursive program schemes I

Bruno Courcelle, Paul Franchi-Zannettacci

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 3.08 MB

english, 1982

2

Automates a file

Bernard Vauquelin, Paul Franchi-Zannettacci

Journal:

Theoretical Computer Science

Year:

1980

File:

PDF, 373 KB

1980

3

Attribute grammars and recursive program schemes II

Bruno Courcelle, Paul Franchi-Zannettacci

Journal:

Theoretical Computer Science

Year:

1982

Language:

english

File:

PDF, 2.27 MB

english, 1982

4

An extension to trees of the Sardinas and Patterson algorithm

Paul Franchi-Zannettacci

Journal:

Information Processing Letters

Year:

1982

Language:

english

File:

PDF, 693 KB

english, 1982

5

On the equivalence problem for attribute systems

Bruno Courcelle, Paul Franchi-Zannettacci

Journal:

Information and Control

Year:

1982

Language:

english

File:

PDF, 1.26 MB

english, 1982

6

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Trie partitioning process: Limiting distributions

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 943 KB

english, 1986

7

[IEEE 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - Syracuse, NY, USA (1980.10.13-1980.10.15)] 21st Annual Symposium on Foundations of Computer Science (sfcs 1980) - On the expressive power of attribute grammars

Courcelle, Bruno, Franchi-Zannettacci, Paul

Year:

1980

Language:

english

File:

PDF, 910 KB

english, 1980

8

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || An algebraic theory of flowchart schemes

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 715 KB

english, 1986

9

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || On applications of algorithmic logic

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 724 KB

english, 1986

10

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Infinite trees, markings and well foundedness

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 1.15 MB

english, 1986

11

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Random walks, gaussian processes and list structures

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 636 KB

english, 1986

12

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Basic tree transducers

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 916 KB

english, 1986

13

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Bottom-up recursion in trees

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 564 KB

english, 1986

14

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Transformation strategies for deriving on line programs

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 872 KB

english, 1986

15

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Membership for growing context sensitive grammars is polynomial

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 1.10 MB

english, 1986

16

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || An algebraic formalism for graphs

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 702 KB

english, 1986

17

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Alternating bottom-up tree recognizers

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 695 KB

english, 1986

18

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || On the equivalence of synchronization sets

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 623 KB

english, 1986

19

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || A categorical treatment of pre- and post- conditions

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 260 KB

english, 1986

20

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Exact computation sequences

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 903 KB

english, 1986

21

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Random walks on trees

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 450 KB

english, 1986

22

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Computable directory queries

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 719 KB

english, 1986

23

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Inner and mutual compatibility of basic operations on module specifications

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 763 KB

english, 1986

24

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Colourings of planar maps and the equality of two languages

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 363 KB

english, 1986

25

[Lecture Notes in Computer Science] CAAP '86 Volume 214 || Relating type-structures partial variations on a theme of Friedman and Statman

Franchi-Zannettacci, Paul

Year:

1986

Language:

english

File:

PDF, 1024 KB

english, 1986